Package-level declarations
Types
Consolidation pass that synthesizes higher-level propositions from groups of related ground-level propositions by delegating to an injected PropositionAbstractor.
One composable step in a consolidation cycle. A pass receives the current snapshot of propositions for a context, decides what should change, and reports it back as a ConsolidationPassResult — it never writes anything itself.
What a ConsolidationPass decided to do (or not do). Sealed so the orchestrator can exhaustively handle every case without a catch-all.
Consolidation pass that resolves contradictions among ACTIVE propositions by delegating classification to an injected PropositionReviser and retiring the losing side of each conflict.
The decay pass in a consolidation cycle: a thin wrapper that delegates entirely to an injected CollectorRunner and translates its outcome into a ConsolidationPassResult.
Consolidation pass that folds a session's propositions into long-term memory by delegating verbatim to an injected MemoryConsolidator.